#include <stdio.h>
#include <stdlib.h>
int main(int argc, char *argv[]) {
#ifdef __TINYC__
#undef __attribute__
  printf("defined tinyc.\n");
#endif
  printf("Hello World!\n");
  return 0;
}
